週次 |
日期 |
單元主題 |
第1週 |
|
00. Class Intro
01. Intro to Design Verification |
第2週 |
|
01. Intro to Design Verification
02. Formal Modeling and Property Spec |
第3週 |
|
03. Introduction to BDD |
第4週 |
|
04. Advanced BDD Techniques |
第5週 |
|
04. Advanced BDD Techniques
05. BDD-Based Verification |
第6週 |
|
05. BDD-Based Verification
06. Introduction to SAT |
第7週 |
|
06. Introduction to SAT |
第8週 |
|
07. Advanced SAT Techniques |
第9週 |
|
07. Advanced SAT Techniques
08. Bounded Model Checking |
第10週 |
|
09. Unbounded Model Checking |
第11週 |
|
10. Property Directed Reachability |
第12週 |
|
10. Property Directed Reachability
11. SAT-Assisted Synthesis |
第13週 |
|
11. SAT-Assisted Synthesis |
第14週 |
|
12. From SAT to Optimization |
第15週 |
|
13-1 Liveness Property Checking
13-2 Satisfiability Modulo Theories |
第16週 |
|
端午節 / Final Exam |
第17週 |
|
Final Week (No class) |
第18週 |
|
Final Project Due (06/13) |